(implies unknown